package tarantula.experiment.primitive;

import junit.framework.TestCase;

public class PrimitiveFailedUnsimplifiedTests extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var1 = new org.apache.commons.collections.primitives.ArrayCharList(var0);
	    java.lang.Integer var2 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var3 = new org.apache.commons.collections.primitives.ArrayCharList(var2);
	    java.lang.Character var4 = new java.lang.Character('#');
	    int var5 = var3.indexOf((char)var4);
	    java.lang.Character var6 = new java.lang.Character('4');
	    boolean var7 = var3.contains((char)var6);
	    org.apache.commons.collections.primitives.adapters.CharListList var8 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var3);
	    boolean var9 = var1.retainAll((org.apache.commons.collections.primitives.CharCollection)var3);
	    java.lang.String var10 = var3.toString();
	    char[] var11 = new char[] { };
	    char[] var12 = var3.toArray(var11);
	    org.apache.commons.collections.primitives.ArrayCharList var13 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var14 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var15 = new org.apache.commons.collections.primitives.ArrayCharList(var14);
	    java.lang.Character var16 = new java.lang.Character('#');
	    int var17 = var15.indexOf((char)var16);
	    int var18 = var13.indexOf((char)var16);
	    boolean var19 = var3.add((char)var16);
	    java.lang.Integer var20 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var21 = new org.apache.commons.collections.primitives.ArrayCharList(var20);
	    java.lang.Integer var22 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var23 = new org.apache.commons.collections.primitives.ArrayCharList(var22);
	    java.lang.Character var24 = new java.lang.Character('#');
	    int var25 = var23.indexOf((char)var24);
	    java.lang.Character var26 = new java.lang.Character('4');
	    boolean var27 = var23.contains((char)var26);
	    org.apache.commons.collections.primitives.adapters.CharListList var28 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var23);
	    boolean var29 = var21.retainAll((org.apache.commons.collections.primitives.CharCollection)var23);
	    java.util.List var30 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var23);
	    java.lang.Integer var31 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var32 = new org.apache.commons.collections.primitives.ArrayCharList(var31);
	    java.lang.Character var33 = new java.lang.Character('#');
	    int var34 = var32.indexOf((char)var33);
	    boolean var35 = var23.containsAll((org.apache.commons.collections.primitives.CharCollection)var32);
	    java.lang.Integer var36 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var37 = new org.apache.commons.collections.primitives.ArrayCharList(var36);
	    java.lang.Integer var38 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var39 = new org.apache.commons.collections.primitives.ArrayCharList(var38);
	    java.lang.Character var40 = new java.lang.Character('#');
	    int var41 = var39.indexOf((char)var40);
	    java.lang.Character var42 = new java.lang.Character('4');
	    boolean var43 = var39.contains((char)var42);
	    org.apache.commons.collections.primitives.adapters.CharListList var44 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var39);
	    boolean var45 = var37.retainAll((org.apache.commons.collections.primitives.CharCollection)var39);
	    boolean var46 = var32.removeAll((org.apache.commons.collections.primitives.CharCollection)var39);
	    int var47 = var39.size();
	    char var48 = var3.get((int)var47);
	    java.lang.Integer var49 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var50 = new org.apache.commons.collections.primitives.ArrayCharList(var49);
	    java.lang.Integer var51 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var52 = new org.apache.commons.collections.primitives.ArrayCharList(var51);
	    java.lang.Character var53 = new java.lang.Character('#');
	    int var54 = var52.indexOf((char)var53);
	    java.lang.Character var55 = new java.lang.Character('4');
	    boolean var56 = var52.contains((char)var55);
	    org.apache.commons.collections.primitives.adapters.CharListList var57 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var52);
	    boolean var58 = var50.retainAll((org.apache.commons.collections.primitives.CharCollection)var52);
	    java.lang.String var59 = var52.toString();
	    char[] var60 = new char[] { };
	    char[] var61 = var52.toArray(var60);
	    org.apache.commons.collections.primitives.ArrayCharList var62 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var63 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var64 = new org.apache.commons.collections.primitives.ArrayCharList(var63);
	    java.lang.Character var65 = new java.lang.Character('#');
	    int var66 = var64.indexOf((char)var65);
	    int var67 = var62.indexOf((char)var65);
	    boolean var68 = var52.add((char)var65);
	    boolean var69 = var3.contains((char)var65);
	    org.apache.commons.collections.primitives.adapters.CharListList var70 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var3);
	    org.apache.commons.collections.primitives.adapters.ListShortList var71 = new org.apache.commons.collections.primitives.adapters.ListShortList((java.util.List)var70);
	    org.apache.commons.collections.primitives.ShortList var72 = org.apache.commons.collections.primitives.ShortCollections.unmodifiableShortList((org.apache.commons.collections.primitives.ShortList)var71);
	    
	    // Checks the contract:  var72.equals(var72)
	    assertTrue("Contract failed: var72.equals(var72)", var72.equals(var72));

	  }

	  public void test2() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var1 = new org.apache.commons.collections.primitives.ArrayCharList(var0);
	    java.lang.Integer var2 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var3 = new org.apache.commons.collections.primitives.ArrayCharList(var2);
	    java.lang.Character var4 = new java.lang.Character('#');
	    int var5 = var3.indexOf((char)var4);
	    java.lang.Character var6 = new java.lang.Character('4');
	    boolean var7 = var3.contains((char)var6);
	    org.apache.commons.collections.primitives.adapters.CharListList var8 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var3);
	    boolean var9 = var1.retainAll((org.apache.commons.collections.primitives.CharCollection)var3);
	    java.lang.String var10 = var3.toString();
	    char[] var11 = new char[] { };
	    char[] var12 = var3.toArray(var11);
	    org.apache.commons.collections.primitives.ArrayCharList var13 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var14 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var15 = new org.apache.commons.collections.primitives.ArrayCharList(var14);
	    java.lang.Character var16 = new java.lang.Character('#');
	    int var17 = var15.indexOf((char)var16);
	    int var18 = var13.indexOf((char)var16);
	    boolean var19 = var3.add((char)var16);
	    java.lang.Integer var20 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var21 = new org.apache.commons.collections.primitives.ArrayCharList(var20);
	    java.lang.Integer var22 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var23 = new org.apache.commons.collections.primitives.ArrayCharList(var22);
	    java.lang.Character var24 = new java.lang.Character('#');
	    int var25 = var23.indexOf((char)var24);
	    java.lang.Character var26 = new java.lang.Character('4');
	    boolean var27 = var23.contains((char)var26);
	    org.apache.commons.collections.primitives.adapters.CharListList var28 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var23);
	    boolean var29 = var21.retainAll((org.apache.commons.collections.primitives.CharCollection)var23);
	    java.util.List var30 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var23);
	    java.lang.Integer var31 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var32 = new org.apache.commons.collections.primitives.ArrayCharList(var31);
	    java.lang.Character var33 = new java.lang.Character('#');
	    int var34 = var32.indexOf((char)var33);
	    boolean var35 = var23.containsAll((org.apache.commons.collections.primitives.CharCollection)var32);
	    java.lang.Integer var36 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var37 = new org.apache.commons.collections.primitives.ArrayCharList(var36);
	    java.lang.Integer var38 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var39 = new org.apache.commons.collections.primitives.ArrayCharList(var38);
	    java.lang.Character var40 = new java.lang.Character('#');
	    int var41 = var39.indexOf((char)var40);
	    java.lang.Character var42 = new java.lang.Character('4');
	    boolean var43 = var39.contains((char)var42);
	    org.apache.commons.collections.primitives.adapters.CharListList var44 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var39);
	    boolean var45 = var37.retainAll((org.apache.commons.collections.primitives.CharCollection)var39);
	    boolean var46 = var32.removeAll((org.apache.commons.collections.primitives.CharCollection)var39);
	    int var47 = var39.size();
	    char var48 = var3.get((int)var47);
	    java.lang.Integer var49 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var50 = new org.apache.commons.collections.primitives.ArrayCharList(var49);
	    java.lang.Integer var51 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var52 = new org.apache.commons.collections.primitives.ArrayCharList(var51);
	    java.lang.Character var53 = new java.lang.Character('#');
	    int var54 = var52.indexOf((char)var53);
	    java.lang.Character var55 = new java.lang.Character('4');
	    boolean var56 = var52.contains((char)var55);
	    org.apache.commons.collections.primitives.adapters.CharListList var57 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var52);
	    boolean var58 = var50.retainAll((org.apache.commons.collections.primitives.CharCollection)var52);
	    java.lang.String var59 = var52.toString();
	    char[] var60 = new char[] { };
	    char[] var61 = var52.toArray(var60);
	    org.apache.commons.collections.primitives.ArrayCharList var62 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var63 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var64 = new org.apache.commons.collections.primitives.ArrayCharList(var63);
	    java.lang.Character var65 = new java.lang.Character('#');
	    int var66 = var64.indexOf((char)var65);
	    int var67 = var62.indexOf((char)var65);
	    boolean var68 = var52.add((char)var65);
	    boolean var69 = var3.contains((char)var65);
	    org.apache.commons.collections.primitives.adapters.CharListList var70 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var3);
	    org.apache.commons.collections.primitives.adapters.ListShortList var71 = new org.apache.commons.collections.primitives.adapters.ListShortList((java.util.List)var70);
	    org.apache.commons.collections.primitives.ShortList var72 = org.apache.commons.collections.primitives.adapters.ListShortList.wrap((java.util.List)var70);
	    org.apache.commons.collections.primitives.DoubleList var73 = org.apache.commons.collections.primitives.adapters.ListDoubleList.wrap((java.util.List)var70);
	    java.util.List var74 = org.apache.commons.collections.primitives.adapters.DoubleListList.wrap(var73);
	    org.apache.commons.collections.primitives.DoubleList var75 = org.apache.commons.collections.primitives.DoubleCollections.unmodifiableDoubleList(var73);
	    
	    // Checks the contract:  var75.equals(var75)
	    assertTrue("Contract failed: var75.equals(var75)", var75.equals(var75));

	  }

	  public void test3() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var1 = new org.apache.commons.collections.primitives.ArrayCharList(var0);
	    java.lang.Integer var2 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var3 = new org.apache.commons.collections.primitives.ArrayCharList(var2);
	    java.lang.Character var4 = new java.lang.Character('#');
	    int var5 = var3.indexOf((char)var4);
	    java.lang.Character var6 = new java.lang.Character('4');
	    boolean var7 = var3.contains((char)var6);
	    org.apache.commons.collections.primitives.adapters.CharListList var8 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var3);
	    boolean var9 = var1.retainAll((org.apache.commons.collections.primitives.CharCollection)var3);
	    java.lang.String var10 = var3.toString();
	    char[] var11 = new char[] { };
	    char[] var12 = var3.toArray(var11);
	    org.apache.commons.collections.primitives.ArrayCharList var13 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var14 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var15 = new org.apache.commons.collections.primitives.ArrayCharList(var14);
	    java.lang.Character var16 = new java.lang.Character('#');
	    int var17 = var15.indexOf((char)var16);
	    int var18 = var13.indexOf((char)var16);
	    boolean var19 = var3.add((char)var16);
	    java.lang.Integer var20 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var21 = new org.apache.commons.collections.primitives.ArrayCharList(var20);
	    java.lang.Integer var22 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var23 = new org.apache.commons.collections.primitives.ArrayCharList(var22);
	    java.lang.Character var24 = new java.lang.Character('#');
	    int var25 = var23.indexOf((char)var24);
	    java.lang.Character var26 = new java.lang.Character('4');
	    boolean var27 = var23.contains((char)var26);
	    org.apache.commons.collections.primitives.adapters.CharListList var28 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var23);
	    boolean var29 = var21.retainAll((org.apache.commons.collections.primitives.CharCollection)var23);
	    java.util.List var30 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var23);
	    java.lang.Integer var31 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var32 = new org.apache.commons.collections.primitives.ArrayCharList(var31);
	    java.lang.Character var33 = new java.lang.Character('#');
	    int var34 = var32.indexOf((char)var33);
	    boolean var35 = var23.containsAll((org.apache.commons.collections.primitives.CharCollection)var32);
	    java.lang.Integer var36 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var37 = new org.apache.commons.collections.primitives.ArrayCharList(var36);
	    java.lang.Integer var38 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var39 = new org.apache.commons.collections.primitives.ArrayCharList(var38);
	    java.lang.Character var40 = new java.lang.Character('#');
	    int var41 = var39.indexOf((char)var40);
	    java.lang.Character var42 = new java.lang.Character('4');
	    boolean var43 = var39.contains((char)var42);
	    org.apache.commons.collections.primitives.adapters.CharListList var44 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var39);
	    boolean var45 = var37.retainAll((org.apache.commons.collections.primitives.CharCollection)var39);
	    boolean var46 = var32.removeAll((org.apache.commons.collections.primitives.CharCollection)var39);
	    int var47 = var39.size();
	    char var48 = var3.get((int)var47);
	    java.lang.Integer var49 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var50 = new org.apache.commons.collections.primitives.ArrayCharList(var49);
	    java.lang.Integer var51 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var52 = new org.apache.commons.collections.primitives.ArrayCharList(var51);
	    java.lang.Character var53 = new java.lang.Character('#');
	    int var54 = var52.indexOf((char)var53);
	    java.lang.Character var55 = new java.lang.Character('4');
	    boolean var56 = var52.contains((char)var55);
	    org.apache.commons.collections.primitives.adapters.CharListList var57 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var52);
	    boolean var58 = var50.retainAll((org.apache.commons.collections.primitives.CharCollection)var52);
	    java.lang.String var59 = var52.toString();
	    char[] var60 = new char[] { };
	    char[] var61 = var52.toArray(var60);
	    org.apache.commons.collections.primitives.ArrayCharList var62 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var63 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var64 = new org.apache.commons.collections.primitives.ArrayCharList(var63);
	    java.lang.Character var65 = new java.lang.Character('#');
	    int var66 = var64.indexOf((char)var65);
	    int var67 = var62.indexOf((char)var65);
	    boolean var68 = var52.add((char)var65);
	    boolean var69 = var3.contains((char)var65);
	    org.apache.commons.collections.primitives.adapters.CharListList var70 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var3);
	    org.apache.commons.collections.primitives.adapters.ListDoubleList var71 = new org.apache.commons.collections.primitives.adapters.ListDoubleList((java.util.List)var70);
	    org.apache.commons.collections.primitives.adapters.ListDoubleList var72 = new org.apache.commons.collections.primitives.adapters.ListDoubleList((java.util.List)var70);
	    org.apache.commons.collections.primitives.DoubleList var73 = org.apache.commons.collections.primitives.DoubleCollections.unmodifiableDoubleList((org.apache.commons.collections.primitives.DoubleList)var72);
	    
	    // Checks the contract:  var73.equals(var73)
	    assertTrue("Contract failed: var73.equals(var73)", var73.equals(var73));

	  }

	  public void test4() throws Throwable {

	    org.apache.commons.collections.primitives.ArrayCharList var0 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var1 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var2 = new org.apache.commons.collections.primitives.ArrayCharList(var1);
	    java.lang.Character var3 = new java.lang.Character('#');
	    int var4 = var2.indexOf((char)var3);
	    int var5 = var0.indexOf((char)var3);
	    org.apache.commons.collections.primitives.ArrayCharList var6 = new org.apache.commons.collections.primitives.ArrayCharList((org.apache.commons.collections.primitives.CharCollection)var0);
	    java.lang.Integer var7 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var8 = new org.apache.commons.collections.primitives.ArrayCharList(var7);
	    java.lang.Character var9 = new java.lang.Character('#');
	    int var10 = var8.indexOf((char)var9);
	    java.lang.Character var11 = new java.lang.Character('4');
	    boolean var12 = var8.contains((char)var11);
	    java.lang.Short var13 = new java.lang.Short((short)(-1));
	    boolean var14 = var8.equals((java.lang.Object)var13);
	    boolean var15 = var8.isEmpty();
	    org.apache.commons.collections.primitives.ArrayCharList var16 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var17 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var18 = new org.apache.commons.collections.primitives.ArrayCharList(var17);
	    java.lang.Character var19 = new java.lang.Character('#');
	    int var20 = var18.indexOf((char)var19);
	    int var21 = var16.indexOf((char)var19);
	    java.lang.Integer var22 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var23 = new org.apache.commons.collections.primitives.ArrayCharList(var22);
	    java.lang.Integer var24 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var25 = new org.apache.commons.collections.primitives.ArrayCharList(var24);
	    java.lang.Character var26 = new java.lang.Character('#');
	    int var27 = var25.indexOf((char)var26);
	    java.lang.Character var28 = new java.lang.Character('4');
	    boolean var29 = var25.contains((char)var28);
	    org.apache.commons.collections.primitives.adapters.CharListList var30 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var25);
	    boolean var31 = var23.retainAll((org.apache.commons.collections.primitives.CharCollection)var25);
	    java.util.List var32 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var25);
	    java.lang.Integer var33 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var34 = new org.apache.commons.collections.primitives.ArrayCharList(var33);
	    java.lang.Character var35 = new java.lang.Character('#');
	    int var36 = var34.indexOf((char)var35);
	    boolean var37 = var25.containsAll((org.apache.commons.collections.primitives.CharCollection)var34);
	    java.lang.Integer var38 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var39 = new org.apache.commons.collections.primitives.ArrayCharList(var38);
	    java.lang.Integer var40 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var41 = new org.apache.commons.collections.primitives.ArrayCharList(var40);
	    java.lang.Character var42 = new java.lang.Character('#');
	    int var43 = var41.indexOf((char)var42);
	    java.lang.Character var44 = new java.lang.Character('4');
	    boolean var45 = var41.contains((char)var44);
	    org.apache.commons.collections.primitives.adapters.CharListList var46 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var41);
	    boolean var47 = var39.retainAll((org.apache.commons.collections.primitives.CharCollection)var41);
	    boolean var48 = var34.removeAll((org.apache.commons.collections.primitives.CharCollection)var41);
	    int var49 = var41.size();
	    boolean var50 = var8.addAll((int)var21, (org.apache.commons.collections.primitives.CharCollection)var41);
	    int var51 = var8.size();
	    java.lang.Integer var52 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var53 = new org.apache.commons.collections.primitives.ArrayCharList(var52);
	    java.lang.Character var54 = new java.lang.Character('#');
	    int var55 = var53.indexOf((char)var54);
	    java.lang.Character var56 = new java.lang.Character('4');
	    boolean var57 = var53.contains((char)var56);
	    var0.add((int)var51, (char)var56);
	    org.apache.commons.collections.primitives.ArrayCharList var59 = new org.apache.commons.collections.primitives.ArrayCharList((org.apache.commons.collections.primitives.CharCollection)var0);
	    java.lang.Integer var60 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var61 = new org.apache.commons.collections.primitives.ArrayCharList(var60);
	    java.lang.Integer var62 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var63 = new org.apache.commons.collections.primitives.ArrayCharList(var62);
	    java.lang.Character var64 = new java.lang.Character('#');
	    int var65 = var63.indexOf((char)var64);
	    java.lang.Character var66 = new java.lang.Character('4');
	    boolean var67 = var63.contains((char)var66);
	    org.apache.commons.collections.primitives.adapters.CharListList var68 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var63);
	    boolean var69 = var61.retainAll((org.apache.commons.collections.primitives.CharCollection)var63);
	    java.lang.String var70 = var63.toString();
	    char[] var71 = new char[] { };
	    char[] var72 = var63.toArray(var71);
	    org.apache.commons.collections.primitives.ArrayCharList var73 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var74 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var75 = new org.apache.commons.collections.primitives.ArrayCharList(var74);
	    java.lang.Character var76 = new java.lang.Character('#');
	    int var77 = var75.indexOf((char)var76);
	    int var78 = var73.indexOf((char)var76);
	    boolean var79 = var63.add((char)var76);
	    int var80 = var0.lastIndexOf((char)var76);
	    java.util.List var81 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var0);
	    org.apache.commons.collections.primitives.adapters.ListShortList var82 = new org.apache.commons.collections.primitives.adapters.ListShortList(var81);
	    org.apache.commons.collections.primitives.ShortList var83 = org.apache.commons.collections.primitives.ShortCollections.unmodifiableShortList((org.apache.commons.collections.primitives.ShortList)var82);
	    
	    // Checks the contract:  var83.equals(var83)
	    assertTrue("Contract failed: var83.equals(var83)", var83.equals(var83));

	  }

	  public void test5() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var1 = new org.apache.commons.collections.primitives.ArrayCharList(var0);
	    java.lang.Integer var2 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var3 = new org.apache.commons.collections.primitives.ArrayCharList(var2);
	    java.lang.Character var4 = new java.lang.Character('#');
	    int var5 = var3.indexOf((char)var4);
	    java.lang.Character var6 = new java.lang.Character('4');
	    boolean var7 = var3.contains((char)var6);
	    org.apache.commons.collections.primitives.adapters.CharListList var8 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var3);
	    boolean var9 = var1.retainAll((org.apache.commons.collections.primitives.CharCollection)var3);
	    java.util.List var10 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var3);
	    java.lang.Integer var11 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var12 = new org.apache.commons.collections.primitives.ArrayCharList(var11);
	    java.lang.Character var13 = new java.lang.Character('#');
	    int var14 = var12.indexOf((char)var13);
	    boolean var15 = var3.containsAll((org.apache.commons.collections.primitives.CharCollection)var12);
	    java.lang.Integer var16 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var17 = new org.apache.commons.collections.primitives.ArrayCharList(var16);
	    java.lang.Integer var18 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var19 = new org.apache.commons.collections.primitives.ArrayCharList(var18);
	    java.lang.Character var20 = new java.lang.Character('#');
	    int var21 = var19.indexOf((char)var20);
	    java.lang.Character var22 = new java.lang.Character('4');
	    boolean var23 = var19.contains((char)var22);
	    org.apache.commons.collections.primitives.adapters.CharListList var24 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var19);
	    boolean var25 = var17.retainAll((org.apache.commons.collections.primitives.CharCollection)var19);
	    boolean var26 = var12.removeAll((org.apache.commons.collections.primitives.CharCollection)var19);
	    int var27 = var19.size();
	    java.lang.Integer var28 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var29 = new org.apache.commons.collections.primitives.ArrayCharList(var28);
	    java.lang.Character var30 = new java.lang.Character('#');
	    int var31 = var29.indexOf((char)var30);
	    org.apache.commons.collections.primitives.CharListIterator var32 = org.apache.commons.collections.primitives.CharCollections.singletonCharListIterator((char)var30);
	    boolean var33 = var19.contains((char)var30);
	    java.lang.Integer var34 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var35 = new org.apache.commons.collections.primitives.ArrayCharList(var34);
	    java.lang.Integer var36 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var37 = new org.apache.commons.collections.primitives.ArrayCharList(var36);
	    java.lang.Character var38 = new java.lang.Character('#');
	    int var39 = var37.indexOf((char)var38);
	    java.lang.Character var40 = new java.lang.Character('4');
	    boolean var41 = var37.contains((char)var40);
	    org.apache.commons.collections.primitives.adapters.CharListList var42 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var37);
	    boolean var43 = var35.retainAll((org.apache.commons.collections.primitives.CharCollection)var37);
	    java.util.List var44 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var37);
	    java.lang.Integer var45 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var46 = new org.apache.commons.collections.primitives.ArrayCharList(var45);
	    java.lang.Character var47 = new java.lang.Character('#');
	    int var48 = var46.indexOf((char)var47);
	    boolean var49 = var37.containsAll((org.apache.commons.collections.primitives.CharCollection)var46);
	    var46.clear();
	    boolean var51 = var19.removeAll((org.apache.commons.collections.primitives.CharCollection)var46);
	    var19.trimToSize();
	    org.apache.commons.collections.primitives.adapters.CharListList var53 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var19);
	    int var54 = var19.size();
	    org.apache.commons.collections.primitives.ArrayCharList var55 = new org.apache.commons.collections.primitives.ArrayCharList(var54);
	    java.lang.Integer var56 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var57 = new org.apache.commons.collections.primitives.ArrayCharList(var56);
	    java.lang.Character var58 = new java.lang.Character('#');
	    int var59 = var57.indexOf((char)var58);
	    java.lang.String var60 = var57.toString();
	    int var61 = var57.size();
	    java.lang.Integer var62 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var63 = new org.apache.commons.collections.primitives.ArrayCharList(var62);
	    java.lang.Character var64 = new java.lang.Character('#');
	    int var65 = var63.indexOf((char)var64);
	    var55.add((int)var61, (char)var64);
	    java.util.List var67 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var55);
	    org.apache.commons.collections.primitives.ShortList var68 = org.apache.commons.collections.primitives.adapters.ListShortList.wrap(var67);
	    org.apache.commons.collections.primitives.ShortList var69 = org.apache.commons.collections.primitives.ShortCollections.unmodifiableShortList(var68);
	    
	    // Checks the contract:  var69.equals(var69)
	    assertTrue("Contract failed: var69.equals(var69)", var69.equals(var69));

	  }
}
